1. Automated proof search in non-classical logics : efficient matrix proof methods for modal and intuitionistic logics
پدیدآورنده: Lincoln A. Wallen
کتابخانه: کتابخانه دانشگاه تحصیلات تکمیلی صنعتی و فناوری پیشرفته کرمان (کرمان)
موضوع: ، Proof theory,، Modality )Logic(,، Intuitionistic mathematics
رده :
QA
9
.
54
.
W35
1990
2. Automated proof search in non-classical logics : efficient matrix proof methods for model and intuitionistic logics
پدیدآورنده: Lincoln A. Wallen
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Proof theory,، Modality )Logic(,، Intuitionistic mathematics
رده :
QA
9
.
54
.
W35
1990
